Sporto terminų žodynas. T. 1. 2-asis patais. ir papild. leid.: Aiškinamasis žodynas. Angliški, vokiški, rusiški terminų atitikmenys. Būtiniausios žinios. 2002.
ИНДУКТИВНАЯ ЛОГИКА — раздел логики, изучающий индуктивные рассуждения, используемые гл. обр. с целью получения индуктивных обобщений, объяснений, предсказаний, описаний и предписаний (см. Индукция). Осн. объект изучения в совр. И. л. индуктивный вывод. Для… … Философская энциклопедия
ЛОГИКА ИНДУКТИВНАЯ — раздел логики, в к ром изучаются логич. процессы перехода от единичного знания к общему, В наст. время анализ этих процессов вошел в круг рассмотрения вероятностной логики как частный случай решения более широкой задачи: определения степени… … Философская энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
inductive hypothesis — indukcinė hipotezė statusas T sritis Kūno kultūra ir sportas apibrėžtis Iš atskirų faktų logiškai mąstant padarytos apibendrinamosios išvados, kurios vėliau pagrindžiamos tyrimo būdu. atitikmenys: angl. inductive hypothesis vok. induktive… … Sporto terminų žodynas
indukcinė hipotezė — statusas T sritis Kūno kultūra ir sportas apibrėžtis Iš atskirų faktų logiškai mąstant padarytos apibendrinamosios išvados, kurios vėliau pagrindžiamos tyrimo būdu. atitikmenys: angl. inductive hypothesis vok. induktive Hypothese, f rus.… … Sporto terminų žodynas
induktive Hypothese — indukcinė hipotezė statusas T sritis Kūno kultūra ir sportas apibrėžtis Iš atskirų faktų logiškai mąstant padarytos apibendrinamosios išvados, kurios vėliau pagrindžiamos tyrimo būdu. atitikmenys: angl. inductive hypothesis vok. induktive… … Sporto terminų žodynas
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Структура научного познания, его формы и методы — кратко Многообразные отношения человека к миру включают познавательное отношение, познание, представляющее собой ак тивную деятельность людей, направленную на приобретение знаний. Знания это результат познавательной деятельности, выраженный в… … Малый тезаурус мировой философии
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
ИНДУКТИВИЗМ — ИНДУКТИВИЗМ направление в логике и философии науки, гносеологическим принципом которого является признание индукции в качестве единственного источника и способа удостоверения нового знания. Сократ был первым, кто использовал индуктивные… … Философская энциклопедия
